可拓学在人工智能中的应用初探

作为一门新的交叉学科，可拓学主要研究人脑“出点子，想办法”处理不相容问题的思维规律及其计算机模拟问题，文中从分类识别，信息开发，策略生成和推理搜索四个方面对可拓学在人工智能中的应用及其发展前景进行了初步探讨。     

连铸坯质量判定模糊专家系统

鉴于连铸过程中存在众多不确定性,考虑某中厚板厂的实际生产状况与中厚板热送热装的控制要求,以表面纵裂为例,按照模糊专家系统的开发思路,建立起连铸坯纵裂知识库,开发推理机制.采用纵裂指数预测和神经网络预测相结合的方法对连铸坯质量进行离线判断、推理和决策,并给出相应的缺陷产生原因解释.采用VC++6.0软件建立人机界面,数据库采用Oracle,调试结果表明该系统可以达到较高的判定准确率(92.8%),为在线应用奠定了基础.     

采用BP-GA算法的一种LSI神经网络的电路设计

将误差反传 (BP)算法和遗传算法 (GA)有机地结合在一起 ,提出了一种新的算法 BP- GA。采用 BP- GA算法 ,设计了一个两层前向 L SI神经网络。作为神经网络的关键部件 ,提出的新型神经元性能优越。它的激活函数与理想sigmoid函数拟合很好 ;可实现对阈值及增益因子的编程并且不同增益因子下饱和输出电压值相同。采用标准 1.2 μmCMOS工艺的模型参数 ,对该两层前向神经网络电路进行的HSPICE模拟证明了它有解决异或 (XOR)问题的能力     

特殊地理形态下的胶东传统民居——以烟台养马岛古村落为例

民居的形成和发展受到很多因素的制约,如自然因素、社会文化因素、经济因素和技术因素等.其中对于一些特殊地理形态下的民居,自然因素的影响就更为明显,以烟台养马岛为例,通过对胶东传统民居在山、海、岛的特殊地理形态下所形成的独具一格的建筑形态的描述,从"山地"、"滨海"、"岛居"3个方面分析自然环境对于民居形成与发展的重要影响...     

晋城市白马寺人工湖基础处理方案探讨

在对晋城市白马寺煤矿采空区地层沉陷状况调查的基础上,就园林城市生态综合整治项目中人工湖工程地质状况进行了综合分析,提出了人工湖基础采用全充填注浆法治理方案。     

如何合理利用水资源综述

水,是生命之源,也是人类生存的基础。水是人类及一切生物赖以生存的必不可少的重要物质,是工农业生产、经济发展和环境改善不可替代的极为宝贵的自然资源。水资源匮乏已成为我们不得不面对的全球性课题。从长远来看,要冲破这个制约人类可持续发展的瓶颈,只有利用海水,被冰山、冻土固化的淡水等,扩大传统的水资源范围,树立大水资源的观念,这样才能挣脱社会和环境条件的制约,实现水资源合理利用的可持续发展。与此同时,加大科技力度,不断创新,人类才能完成呼风唤雨的农业的终极革命目标。     

计算思维及开源WEKA在人工智能教学中的应用

本文将计算思维的理念引入人工智能教学活动中,探讨了一种新的以培养学生思维为主的教学方法,并在人工智能课程中通过开源WEKA软件辅助实现此种理念,让学生在教学过程中既获得了"鱼",又学会了"渔",实践了一种全新的教学模式,为推动教学改革提供了一种可借鉴的方法。     

CBERS-02IRMSS热红外数据及UTAE算法在城市热岛研究中的应用

文中使用城市热异常信息提取算法(urban thermal anomaly extraction,UTAE)提取城市热岛信息.该算法使用不同大小的滑动窗口来探测整幅图像,根据稳健估计的方法设定地表温度高于全部像元以及窗口内像元温度统计均值加标准差的像元为热异常像元,并将滑动窗口的范围设置在3×3至9×9个像元之间,根据像元被记为热岛像元的次数是否为0来区别热岛区与非热岛区,在热岛区域内根据次数的多少来决定热岛强度,具有动态阈值的特点和无偏特性.研究结果表明,在城市热岛范围的提取上,2004年2月13日长沙市热岛面积在27.21—33.98km2之间;在城市热岛强度和尺度效应分析上,宏观尺度的研究应选用较大的窗口来体现城—郊热岛关系以及热岛发展的总体趋势,而小窗口在微观分析城区内热岛的具体分布、与下垫面的关系以及驱动因子方面较有优势.最后,对UTAE算法在中巴地球资源卫星后继星数据上的应用做出了展望.     

中国方胸蛛属1新纪录种及其雌性新发现(蜘蛛目:跳蛛科)

记述采自中国海南琼中黎母山主峰的跳蛛科1新纪录种:腹方胸蛛Thiania abdominalis Zabka,1985,其雌性系首次发现.描述了方胸蛛属Thiania C.L.Koch,1846的特征.标本保存在河北大学博物馆.文中测量单位为mm.     

基于分割的超树分解方法

基于det-k-decomp算法, 通过引入同构的概念和对separator选择空间的进一步限制, 提出一类新的超树分解： 分割的超树分解, 并提出一种具有较小超树宽度的超树分解方法: 基于分割的超树分解--sht-k-decomp, 该算法能有效提高约束满足问题的求解效率. 实验结果表明, sht-k-decomp算法多数情况下效率高于det-k-decomp算法.